161. Discrete structures: Essential computer mathematics
پدیدآورنده: John L. Van Iwaarden
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Electronic data processing- Mathematics
رده :
QA
،
76
.
9
،.
M35
,
V36
،
1988
162. Discrtet mathematical structures with applications to computer science
پدیدآورنده: Tremblay, Jean-Paul
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: 1691- ، Mathematics,، Electronic data processing,، Machine theory
رده :
QA
39
.
2
.
T72
1987
163. Disscrete mathwmatics
پدیدآورنده: Ross, Kenneth A.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Electronic data processing- Mathematics
رده :
QA
76
.
9
.
M35R67
164. Distributed algorithms for message-passing systems
پدیدآورنده: / M. (Michel) Raynal
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع: Distributed algorithms.,Electronic data processing--Distributed processing--Mathematics.,LITERARY CRITICISM / Semiotics & Theory
رده :
QA76
.
9
.
D5
165. Distributed computing through combinatorial topology
پدیدآورنده: Herlihy, Maurice, 4591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematics ، Electronic data processing -- Distributed processing,، Combinatorial topology
رده :
QA
76
.
9
.
D5H47
166. Distributed computing through combinatorial topology
پدیدآورنده: Maurice Herlihy, Dmitry Kozlov, Sergio Rajsbaum
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial topology,Electronic data processing-- Distributed processing-- Mathematics
رده :
QA76
.
9
.
D5
H473
2014
167. Elementary mathematics for computing
پدیدآورنده: LANCE,LARRY R
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DATA PROCESSING-MATHEMATICS
رده :
QA
76
.
9
.
M35
L36
168. Elementary mathematics for computing
پدیدآورنده: Lance, Larry R., 2491-
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع: ، Electronic data processing - Mathematics
رده :
QA
76
.
9
.
M35
L36
1986
169. Elements of discrete mathematics
پدیدآورنده: PRATHER,RONALD E
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: MATHEMATICS-1961 , ELECTRONIC DATA PROCESSING-MATHEMATICS
رده :
QA
39
.
2
.
P688
170. Elimination Methods in Polynomial Computer Algebra
پدیدآورنده: by Valery Bykov, Alexander Kytmanov, Mark Lazman ; edited by Mikael Passare.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra-- Data processing.,Chemistry-- Mathematics.,Differential equations, Partial.,Electronic data processing.,Mathematics.
171. Emotional cognitive neural algorithms with engineering applications dynamic logic: from vague to crisp
پدیدآورنده: Perlovsky, Leonid I.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Neural networks )Computer science(,Data processing ، Engineering mathematics,، Computer algorithms,، Electronic books
رده :
QA
76
.
87
.
P47
172. Equations, models, and programs: a mathematical introduction to computer science
پدیدآورنده: Myers, Thomas J
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: mathematics ، Electronic data processing
رده :
QA
76
.
9
.
M35
M94
1988
173. Exploring chemistry with electronic structure methods
پدیدآورنده: Foresman, James B
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Molecular orbitals,، Electronic structure,، Chemical models,Data processing ، Chemistry,Mathematics ، Chemistry
رده :
QD
461
.
F733
1996
174. Facing the Multicore - Challenge II
پدیدآورنده: edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems
175. Finite Fields: Theory and Computation
پدیدآورنده: by Igor E. Shparlinski.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra-- Data processing.,Computational complexity.,Electronic data processing.,Field theory (Physics).,Mathematics.,Number theory.
176. Foundations of discrete mathematics
پدیدآورنده: Joshi, K. D
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Mathematics-1691-,، Electronic data processing- Mathematics,، Comlinatorial analysis
رده :
QA
39
.
2
.
J67
1989
177. From Local to Global Optimization
پدیدآورنده: edited by Athanasios Migdalas, Panos M. Pardalos, Peter Värbrand.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity.,Electronic data processing.,Mathematical optimization.,Mathematics.,Systems theory.
178. From problem to program
پدیدآورنده: WARDLE,M E
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: ELECTRONIC DIGITAL COMPUTER-BROGRAMMING , ELECTRONIC DATA PROCESSING-MATHEMATICS
رده :
QA
76
.
6
.
W35
179. From problem to program
پدیدآورنده: / M. E. Wardle
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Electronic digital computers - Programming,Electronic data processing - Mathematics
رده :
001
.
642
W266
180. From problem to program
پدیدآورنده: Wardle, M E
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Electronic data processing-- Mathematics
رده :
QA
76
.
6
.
W35